/*
 * ppd_interface.h
 *
 *  Created on: 09/10/2011
 *      Author: Normandia
 *
 *  Definición de interfaz de comunicación con el PPD o RAID1
 */

#ifndef PPD_INTERFACE_H_
#define PPD_INTERFACE_H_

#include <semaphore.h>

#include "filesystem.h"
#include "nipc.h"
#include "cliente.h"

void readSector(uint32_t sector, void* sector_buffer);
void writeSector(uint32_t sector, void* data_buffer);
void readBlock(uint32_t sector_inic, void* block_buffer);
void writeBlock(uint32_t sector_inic, void* data_buffer);

#endif /* PPD_INTERFACE_H_ */
